1. Formal methods :
پدیدآورنده: Flemming Nielson, Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Information theory.,Software engineering.,Formal methods (Computer science),Information theory.,Software engineering.
رده :
QA76
.
9
.
F67
N45
2019
2. ML with concurrency: design, analysis, implementation, and application
پدیدآورنده: Nielson, Flemming
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6
.
N54
1996
3. ML with concurrency : design, analysis, implementation, and application
پدیدآورنده: Nielson, Flemming
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6
N54
1996
4. ML with concurrency : design, analysis, implementation, and applications
پدیدآورنده: Nielson, Flemming, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6N5
5. Principles of security and trust :
پدیدآورنده: Flemming Nielson, David Sands (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
P67
2019eb
6. 28, 2010. Revised Selected Papers-WITS 2010, Paphos, Cyprus,March 27-Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA
پدیدآورنده: / Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
7. Semantics with applications
پدیدآورنده: / Hanne Riis Nielson and Flemming Nielson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
N543
,
2007
8. Two-level functional languages /
پدیدآورنده: Flemming Nielson, Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Functional programming languages.,génération code.,interprétation abstraite.,lambda calcul.,logique combinatoire.,théorie type.,Functional programming languages.,Functionele talen.,Funktionale Programmiersprache,Funktionale Programmiersprache.,Implementation,Implementierung,Implementierung.,Lambda-calcul.,Langages de programmation fonctionnelle.,Programmation fonctionnelle (informatique)
رده :
QA76
.
62
.
N54
1992
